ZU064-05-FPR doc 26 August 2009

Source URL: nixos.org

• Tiling window managers
• Functional programming
• Nix package manager
• Xmonad
• Dpkg
• Ubuntu
• Package management system
• Dependency hell
• RPM Package Manager
• Software
• System software
• Archive formats

CMU: Arc-Factored, Discriminative Semantic Dependency Parsing Sam Thomson Brendan O’Connor Jeffrey Flanigan David Bamman Jesse Dodge Swabha Swayamdipta Nathan Schneider Chris Dyer Noah A. Smith Language Technologies In

Source URL: www.cs.cmu.edu

• Science
• Semantics
• Graph theory
• Natural language processing
• Treebank
• Parsing
• Functional generative description
• Graph
• Phrase structure grammar
• Linguistics
• Corpus linguistics
• Computational linguistics

Dependency-style Generic Haskell ¨ Dave Clarke, Johan Jeuring Andres Loh, Universiteit Utrecht [removed]

Source URL: kosmikus.org

• Generic programming
• Type theory
• Functional programming
• Data types
• Parameter
• Type class
• Haskell
• Conditional
• Generic function
• Software engineering
• Computing
• Computer programming

Annex B – The Intelligence System of the Portuguese Republic (Law No[removed]___________ Functional Dependency _ _ _ _ _ _ _ _ Supervision ..................... Coordination

Source URL: www.cfsirp.pt

Haskell Package Dependencies Logical Theory Dependencies Verified Haskell Packages

Source URL: www.gilith.com

• Functional languages
• Haskell
• Literate programming
• Dependency hell
• Package
• Dependency graph
• Scientific theory
• Debian
• Computing
• Computer programming
• Software

Annex C – The Intelligence System of the Portuguese Republic (Law No[removed]Table _____________ Functional Dependency _ _ _ _ _ _ _ _ _ Supervision

Source URL: www.cfsirp.pt

Microsoft Word - iwls07-final.doc

Source URL: www.bvsrc.org

• Boolean algebra
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Boolean satisfiability problem
• Binary decision diagram
• Functional dependency
• Conjunctive normal form
• Theoretical computer science
• Mathematics
• Mathematical logic

Invariant-Strengthened Elimination of Dependent State Elements Michael L. Case1,2 Alan Mishchenko1 1

Source URL: www.bvsrc.org

• Mathematics
• Electronics
• And-inverter graph
• Diagrams
• Retiming
• Invariant
• Logic synthesis
• Directed acyclic graph
• Functional dependency
• Electronic engineering
• Formal methods
• Electronic design automation

The Design and Use of a Latin Dependency Treebank David Bamman and Gregory Crane The Perseus Project, Tufts University {david.bamman, gregory.crane}@tufts.edu

Source URL: ufal.mff.cuni.cz

• Applied linguistics
• Corpora
• Computational linguistics
• Treebank
• Dependency grammar
• Functional generative description
• International Corpus of English
• Parsing
• Latin
• Linguistics
• Latino-Faliscan languages
• Corpus linguistics

A Reference Dependency Bank for Analyzing Complex Predicates Tafseer Ahmed, Miriam Butt, Annette Hautli, Sebastian Sulger Universit¨at Konstanz [removed] Abstract When dealing with languages of

Source URL: www.lrec-conf.org

• Parts of speech
• Grammar
• Predicate
• Compound verb
• Subject
• Light verb
• Theta role
• Complement
• Lexical functional grammar
• Linguistics
• Syntax
• Semantics